1. Asynchronous sequential machine design and analysis
پدیدآورنده : / Richard F. Tinder
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
رده :
E-BOOK
2. Automata, Languages and Programming :
پدیدآورنده : edited by Josep Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming.,Computer science.,Computers.
3. Logic machines and diagrams
پدیدآورنده : Gardner, Martin
موضوع : ، Logic machines,، Logic diagrams
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
4. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
5. Perspectives of system informatics :
پدیدآورنده : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programmierung.,Theoretische Informatik.,Wissenstechnik.
6. Reversible computation :
پدیدآورنده : Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
7. STACS 92 :
پدیدآورنده : A[lain] Finkel, M[atthias] Jantzen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : računalništvo -- paralelni algoritmi -- logika -- sementika -- računalniška geometrija -- jeziki -- strukturna kompleksnost -- komunikacije -- distribuirani sistemi -- kompleksnost -- kriptografija -- algoritmi -- VLSI -- sistemi.
8. STACS 87 :
پدیدآورنده : edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Computer science.,Computers.
9. Synthesis of Finite State Machines
پدیدآورنده : by Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
10. Verilog HDL :
پدیدآورنده : by Joseph Cavanagh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Digital electronics.,Logic circuits -- Computer-aided design.,Verilog (Computer hardware description language)
رده :
TK7868
.
D5
B956
2007
